Nuprl Definition : so_lambda4
11,40
postcript
pdf
(
x
,
y
,
z
,
w
.
t
(
x
;
y
;
z
;
w
))(
x
,
y
,
z
,
w
) ==
t
(
x
;
y
;
z
;
w
)
latex
Definitions
x
.
A
(
x
)
origin
x,y,z,w. t(x;y;z;w))(x,y,z,w) == t(x;y;z;w) x,y,z,w. t(x;y;z;w))(x,y,z,w) == t(x;y;z;w) x.A(x)